Module Linking, Component Model, Interface Types, Runtime Composition